1. Leveraging Applications of Formal Methods, Verification and Validation
Author: edited by Tiziana Margaria, Bernhard Steffen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Computer system performance.,Software engineering.
2. Messung, Modellierung und Bewertung von Rechensystemen :
Author: herausgegeben von U. Herzog, M. Paterok.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Computer system performance.
Classification :
QA76
.
5
H473
1987
